﻿do
    match [] with
    | (1
   :: [ 2 ]) -> ()
